Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
211	Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP Magdalena Procopiuc1, Octavian Procopiuc and Susan H. Rodger1 Computer Science Department, Box[removed]Duke University Durham, North Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:05:10 Theoretical computer science Combinatorics Mathematics Deterministic pushdown automaton Pushdown automaton Finite-state machine Alphabet Formal grammar Regular expression Automata theory Formal languages Models of computation
212	When You Don’t Trust Clients: Byzantine Proposer Fast Paxos Hein Meling∗ , Keith Marzullo† , and Alessandro Mei‡ of Electrical Engineering and Computer Science, University of Stavanger, Norway † Department of C Add to Reading List Source URL: www.ux.uis.no Language: English - Date: 2014-11-29 05:01:28 Applied mathematics Consensus State machine replication Paxos Byzantine fault tolerance IP Paxi Finite-state machine Replication Fault-tolerant computer systems Computing Theoretical computer science
213	Combining Static Model Checking with Dynamic Enforcement using the Statecall Policy Language Anil Madhavapeddy Imperial College, South Kensington, London SW1 2AZ, UK [removed] Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Computing Programming language theory Promela Finite-state machine ALGOL 68 Software engineering Automata theory Models of computation
214	Optimization of Massive Pattern Queries by Dynamic Configuration Morphing Nikolay Laptev #1 , Carlo Zaniolo #2 # University of California, Los Angeles Add to Reading List Source URL: labs.yahoo.com Language: English - Date: 2015-02-04 18:38:47 Formal languages Computer science Applied mathematics Pattern matching Regular expressions Nondeterministic finite automaton Deterministic finite automaton Nested word Finite-state machine Automata theory Models of computation Theoretical computer science
215	XML-based Dynamic Service Behaviour Representation Shanshan Jiang and Finn Arve Aagesen Department of Telematics Norwegian University of Science and Technology (NTNU) N-7491 Trondheim, Norway {Shanshan.Jiang, Finn.Arve.A Add to Reading List Source URL: www.nik.no Language: English - Date: 2003-10-15 10:09:03 Markup languages Technical communication XML Finite-state machine Effi Extended finite-state machine Computing OSI protocols Models of computation
216	Validation of Contract Decomposition by Testing Mass Soldal Lund Department of Informatics, University of Oslo, Norway SINTEF Telecom and Informatics, Norway email: [removed] Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-10-15 10:55:59 UML diagrams Science Technology Specification and Description Language Functional testing Unified Modeling Language Specification language Finite-state machine Modeling language Software testing Diagrams Software engineering
217	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-09 10:09:21 Computability theory Theory of computation Automata theory Models of computation Church–Turing thesis Algorithm Decidability Finite-state machine P Theoretical computer science Computer science Applied mathematics
218	Quasi-Weak Cost Automata A New Variant of Weakness Denis Kuperberg1 1 LIAFA/CNRS/Universit´ e 2 Department Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Nondeterministic finite automaton Regular language Finite-state machine Ω-automaton Automata theory Formal languages Models of computation
219	Expressive power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom S´eminaire Automates Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Regular language Nondeterministic finite automaton Finite-state machine Ω-automaton Omega-regular language Automata theory Formal languages Models of computation
220	Nondeterminism in the Presence of a Diverse or Unknown Future ? Udi Boker1 , Denis Kuperberg2 , Orna Kupferman2 , and Michał Skrzypczak3 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-29 05:18:08 Applied mathematics Ω-automaton Muller automaton Büchi automaton Tree automaton Finite-state machine Regular language Formal language Tree Automata theory Theoretical computer science Computer science

UPDATE